Formal Methods: Theory Becoming Practice
نویسنده
چکیده
In this paper I will introduce the ideas behind the B formal method, especially as crystalised in its latest version, Event-B. I shall give some insights on modeling and formal reasoning, activities intended to be performed before undertaking the actual coding of a computer system, so that the software in question will be correct by construction. At the end, I shall present a number of real projects where the B formal method [1] has been used with great success.
منابع مشابه
A Unifying Model for Specification and Design
The application of formal languages in the software development process is becoming more and more evident. Providing formal semantics and tools for the synthesis, analysis and transformation of behavioural models is usually the first step in the process of formal methods development. Many formal methods exist but, as yet, there is an absence of a meta-theory of formal methods. Such a meta-theor...
متن کاملActive Learning: An Approach for Reducing Theory-Practice Gap in Clinical Education
Introduction: The gap between theory and practice in clinical fields, including nursing, is one of the main problems that many solutions have been suggested to eliminate it. In this article, we have tried to investigate its solution through active learning. Methods: In this review article, searching articles published during 2000-2012 was done through library references, scientific databases. ...
متن کاملGreen Design in Cornerstone Courses at KAIST: Theory and Practice*
Environmental sustainability and eco-friendly design are becoming increasingly important in engineering today. This paper discusses green design in the KAIST Freshman Design Program. It is shown that students and faculty members tend to choose green design projects, even when not required. Students have successfully adapted general design processes and formal design theories to eco-friendly des...
متن کاملمقایسه تاثیر روش‌های تدریس تئوری-عملی با عملی- تئوری درس آناتومی بر میزان یادگیری و رضایت‌مندی دانشجویان
Abstract Background: Educational systems need to modify teaching methods in order to be effective. This research was conducted to study the effects of theory-practice and practice-theory methods of anatomy teaching on student learning and satisfaction. Methods: This quasi-experimental survey was carried out on second semester students of Lorestan University. During a 6-week period student...
متن کاملTeaching the Practice of Formal Methods in Distributed Computing Systems -a Module
1 Goal The problem with formal methods is that they have not been widely adapted as a method in the programming process. Formal methods have been advocated for over two decades, both as a method of creating a program as well as debugging a program 9] 12]. They are known to improve the quality of programs and to reduce the length of the debugging stage 3] 7]. However, often the individuals who c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 13 شماره
صفحات -
تاریخ انتشار 2007